The Transformation - PDFSEARCH.IO - Document Search Engine

The Transformation
Results: 5103

#	Item
411	A TWISTED BASS-HELLER-SWAN DECOMPOSITION FOR THE ALGEBRAIC K-THEORY OF ADDITIVE CATEGORIES arXiv:1309.1353v2 [math.KT] 1 Jun 2015 ¨ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2015-12-05 10:49:26 Additive categories Category theory Functors Adjoint functors Homological algebra Universal property Coproduct Preadditive category Sheaf Natural transformation Isomorphism of categories Equivalence of categories
412	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
413	“History, if viewed as a repository for more than anecdote or chronology, could produce a decisive transformation in the image of science by which we are now possessed. That image has previously been drawn, even by sc Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2000-11-09 10:15:45 Philosophy of science Epistemology of science Scientific revolution Historiography of science Science studies Paradigm Commensurability Normal science Scientific progress Thomas Kuhn Scientific method Strong programme
414	STYX: Connecting the XML Web to the World of Semantics Irini Fundulaki1 , Bernd Amann1 , Catriel Beeri2 , Michel Scholl1 , and Anne-Marie Vercoustre3 1 Cedric-CNAM Paris, INRIA Rocquencourt Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 12:12:00 Markup languages Functional languages Query languages Technical communication Transformation languages XQuery XSLT XPath XSL Ontology XML Certification Program Stylus Studio
415	1 From Agriculture to Culture: The Social Transformation of Food Association for the Study of Food and Society (ASFS) Agriculture, Food, and Human Values Society (AFHVS) Add to Reading List Source URL: secure.ciachef.edu Language: English - Date: 2015-09-30 11:22:24 Food science Cuisine Food
416	ABDULRAHMAN AL-SUMAIT MEMORIAL UNIVERSITY (SUMAIT University) RE-ADVERTISEMENT FOR THE TOP UNIVERSITY LEADERSHIP VACANCIES SUMAIT University is a transformation from the former College of Education established in 1997 an Add to Reading List Source URL: www.sumait.ac.tz Language: English - Date: 2015-12-11 08:10:57 University governance Chancellor Higher education accreditation Central Queensland University
417	Introduction Linear redundancy in AES-like Sboxes The affine equivalence of XSL-like round functions Analyzing the influence of linear redundancy in S-boxes with affine Add to Reading List Source URL: ctcrypt.ru Language: English - Date: 2016-06-10 06:35:54 Linear algebra Transformation Affine geometry Advanced Encryption Standard Linear map Equivalence of categories Affine space Affine transformation
418	Cloudy with a chance of containers Challenges for „classical“ ISPs in a cloud world Dr. Thomas Fischer • @phreatom • WHD.global 2016 The transformation disrupts all layers Add to Reading List Source URL: www.whd.global Language: English - Date: 2016-03-30 07:44:40 Cloud storage Computer networking Data center Data management Distributed data storage Heating ventilating and air conditioning
419	11 – 15 September 2017, Course Dealing with the Past & Conflict Transformation Learn about the design and implementation of effective Add to Reading List Source URL: www.swisspeace.ch Language: English - Date: 2016-07-15 05:25:11 Peace Swisspeace Peacebuilding Conflict transformation Peace journalism Conflict analysis European Peacebuilding Liaison Office Thania Paffenholz
420	DITA-OT Under the Hood DITA-OT Day 2014 Jarno Elovirta @jelovirt Add to Reading List Source URL: www.oxygenxml.com Language: English - Date: 2014-12-03 09:10:07 Markup languages Technical communication DITA Open Toolkit Transformation languages XSLT Dita Preprocessor Online help Portable Document Format Ormat Technologies

UPDATE